David Harel: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (38)
Most Popular
List
- List
- Table

1

Dynamic logic

Dynamic logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Year:

2000

Language:

english

File:

PDF, 2.23 MB

5.0 / 0

english, 2000

2

Computers Ltd: What They Really Can't Do

Computers Ltd: What They Really Can't Do

Oxford University Press, USA

Year:

2000

Language:

english

File:

PDF, 3.57 MB

0 / 0

english, 2000

3

Modeling Reactive Systems With Statecharts : The Statemate Approach

Modeling Reactive Systems With Statecharts : The Statemate Approach

Mcgraw-Hill (Tx)

David Harel, Michal Politi

Year:

1998

Language:

english

File:

PDF, 3.13 MB

0 / 0

english, 1998

4

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

David Harel, Dexter Kozen, Jerzy Tiuryn

Year:

2000

Language:

english

File:

PDF, 2.24 MB

5.0 / 0

english, 2000

5

Statecharts. A Visual Formalism for Complex Systems

Statecharts. A Visual Formalism for Complex Systems

Weizmann Institute of Science, Dept. of Computer Science

Year:

1986

Language:

english

File:

PDF, 1.81 MB

0 / 0

english, 1986

6

Dynamic Logic

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Year:

2000

Language:

english

File:

PDF, 1.71 MB

5.0 / 0

english, 2000

7

Rzecz o istocie informatyki: algorytmika

Rzecz o istocie informatyki: algorytmika

Wydawnictwa Naukowo-Techniczne

Year:

2000

Language:

polish

File:

PDF, 12.35 MB

0 / 0

polish, 2000

8

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.)

Year:

2011

Language:

english

File:

PDF, 9.53 MB

0 / 0

english, 2011

9

Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine

David Harel, Rami Marelly

Year:

2003

Language:

english

File:

PDF, 6.51 MB

0 / 0

english, 2003

10

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Year:

2005

Language:

english

File:

PDF, 6.45 MB

0 / 0

english, 2005

11

Computers Ltd: What They Really Can't Do

Computers Ltd: What They Really Can't Do

Oxford University Press

Year:

2000

Language:

english

File:

DJVU, 1.70 MB

0 / 0

english, 2000

12

Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

David Harel, Yaki Setty (auth.), Jasmin Fisher (eds.)

Year:

2008

Language:

english

File:

PDF, 6.36 MB

0 / 0

english, 2008

13

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

Year:

2002

Language:

english

File:

PDF, 2.79 MB

0 / 0

english, 2002

14

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.)

Year:

2011

Language:

english

File:

PDF, 8.62 MB

0 / 0

english, 2011

15

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Year:

2005

Language:

english

File:

PDF, 6.11 MB

0 / 0

english, 2005

16

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Integrated Formal Methods: Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eran Gery, David Harel, Eldad Palachi (auth.), Michael Butler, Luigia Petre, Kaisa Sere (eds.)

Year:

2002

Language:

english

File:

PDF, 3.92 MB

0 / 0

english, 2002

17

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)

Year:

2001

Language:

english

File:

PDF, 2.12 MB

0 / 0

english, 2001

18

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

Year:

2011

Language:

english

File:

PDF, 2.39 MB

0 / 0

english, 2011

19

CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Tirza Hirst, David Harel (auth.), A. Arnold (eds.)

Year:

1990

Language:

english

File:

DJVU, 3.58 MB

0 / 0

english, 1990

20

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

David Harel, Hillel Kugler (auth.), Shen Yu, Andrei Păun (eds.)

Year:

2001

Language:

english

File:

PDF, 3.76 MB

0 / 0

english, 2001

21

電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)

電腦也搞不定 (-a Taiwanese translation of David Harel's Computers Ltd.-)

Year:

2002

Language:

chinese

File:

PDF, 50.97 MB

0 / 4.0

chinese, 2002

22

Dynamic Logic

Dynamic Logic

David Harel & Dexter Kozen & Jerzy Tiuryn

Year:

2000

Language:

english

File:

PDF, 2.57 MB

0 / 0

english, 2000

23

Algoritmi: Lo spirito dell’informatica

Algoritmi: Lo spirito dell’informatica

David Harel, Yishai Feldman

Year:

2008

Language:

italian

File:

PDF, 3.46 MB

0 / 0

italian, 2008

24

Algorithmics, 3rd Edition: The Spirit of Computing

Algorithmics, 3rd Edition: The Spirit of Computing

David Harel, Yishai Feldman

Year:

2004

Language:

english

File:

PDF, 9.85 MB

5.0 / 4.0

english, 2004

25

Algorithmics : the spirit of computing

Algorithmics : the spirit of computing

Addison Wesley, Pearson Education

David Harel, Yishai A Feldman

Year:

2004

Language:

english

File:

PDF, 3.59 MB

5.0 / 5.0

english, 2004

26

Algorithmik: Die Kunst des Rechnens

Algorithmik: Die Kunst des Rechnens

Springer Berlin Heidelberg

David Harel, Yishai Feldman, Micaela Krieger

Year:

2006

Language:

german

File:

PDF, 29.36 MB

0 / 0

german, 2006

27

Algorithmic bioprocesses

Algorithmic bioprocesses

Springer-Verlag Berlin Heidelberg

Arto Salomaa (auth.), Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree (eds.)

Year:

2009

Language:

english

File:

PDF, 13.14 MB

0 / 0

english, 2009

28

Algorithmics. Spirit of Computing

Algorithmics. Spirit of Computing

David Harel, Yishai Feldman

Year:

2004

Language:

english

File:

PDF, 9.29 MB

5.0 / 0

english, 2004

29

Algorithmics: The Spirit of Computing

Algorithmics: The Spirit of Computing

David Harel, Yishai A. Feldman

Year:

2004

Language:

english

File:

PDF, 6.36 MB

0 / 0

english, 2004

30

Algorithmics: The Spirit of Computing

Algorithmics: The Spirit of Computing

Addison Wesley Publishing Company

Year:

1987

Language:

english

File:

DJVU, 3.75 MB

0 / 0

english, 1987

31

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)

Year:

2013

Language:

english

File:

PDF, 3.51 MB

0 / 0

english, 2013

32

First-Order Dynamic Logic

First-Order Dynamic Logic

Springer-Verlag Berlin Heidelberg

David Harel (eds.)

Year:

1979

Language:

english

File:

PDF, 3.21 MB

0 / 0

english, 1979

33

Algorithmik: Die Kunst des Rechnens

Algorithmik: Die Kunst des Rechnens

David Harel, Yishai Feldman

Year:

2006

Language:

german

File:

PDF, 28.25 MB

0 / 0

german, 2006

34

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Hassan Gomaa (auth.), Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (eds.)

Year:

2006

Language:

english

File:

PDF, 17.51 MB

0 / 0

english, 2006

35

First-Order Dynamic Logic

First-Order Dynamic Logic

Springer-Verlag Berlin Heidelberg

David Harel (eds.)

Year:

1979

Language:

english

File:

DJVU, 1.19 MB

0 / 0

english, 1979

36

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Johan Jeuring (eds.)

Year:

1998

Language:

english

File:

PDF, 2.07 MB

0 / 0

english, 1998

37

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

Year:

2011

Language:

english

File:

PDF, 2.13 MB

0 / 0

english, 2011

38

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

Year:

2011

Language:

english

File:

PDF, 2.23 MB

0 / 0

english, 2011